Sqrt - 1)^3
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a square root of a number is a number such that y^2 = x; in other words, a number whose ''
square In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
'' (the result of multiplying the number by itself, or y \cdot y) is . For example, 4 and −4 are square roots of 16 because 4^2 = (-4)^2 = 16. Every nonnegative
real number In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
has a unique nonnegative square root, called the ''principal square root'' or simply ''the square root'' (with a definite article, see below), which is denoted by \sqrt, where the symbol "\sqrt" is called the '' radical sign'' or ''radix''. For example, to express the fact that the principal square root of 9 is 3, we write \sqrt = 3. The term (or number) whose square root is being considered is known as the ''radicand''. The radicand is the number or expression underneath the radical sign, in this case, 9. For non-negative , the principal square root can also be written in exponent notation, as x^. Every
positive number In mathematics, the sign of a real number is its property of being either positive, negative, or 0. Depending on local conventions, zero may be considered as having its own unique sign, having no sign, or having both positive and negative sign. ...
has two square roots: \sqrt (which is positive) and -\sqrt (which is negative). The two roots can be written more concisely using the ± sign as \pm\sqrt. Although the principal square root of a positive number is only one of its two square roots, the designation "''the'' square root" is often used to refer to the principal square root. Square roots of negative numbers can be discussed within the framework of
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s. More generally, square roots can be considered in any context in which a notion of the "
square In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
" of a mathematical object is defined. These include
function space In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set into a ve ...
s and square matrices, among other
mathematical structure In mathematics, a structure on a set (or on some sets) refers to providing or endowing it (or them) with certain additional features (e.g. an operation, relation, metric, or topology). Τhe additional features are attached or related to the ...
s.


History

The Yale Babylonian Collection clay tablet YBC 7289 was created between 1800 BC and 1600 BC, showing \sqrt and \frac = \frac respectively as 1;24,51,10 and 0;42,25,35 base 60 numbers on a square crossed by two diagonals. (1;24,51,10) base 60 corresponds to 1.41421296, which is correct to 5 decimal places (1.41421356...). The Rhind Mathematical Papyrus is a copy from 1650 BC of an earlier Berlin Papyrus and other textspossibly the Kahun Papyrusthat shows how the Egyptians extracted square roots by an inverse proportion method. In
Ancient India Anatomically modern humans first arrived on the Indian subcontinent between 73,000 and 55,000 years ago. The earliest known human remains in South Asia date to 30,000 years ago. Sedentism, Sedentariness began in South Asia around 7000 BCE; ...
, the knowledge of theoretical and applied aspects of square and square root was at least as old as the '' Sulba Sutras'', dated around 800–500 BC (possibly much earlier). A method for finding very good approximations to the square roots of 2 and 3 are given in the '' Baudhayana Sulba Sutra''. Apastamba who was dated around 600 BCE has given a strikingly accurate value for \sqrt which is correct up to five decimal places as 1 + \frac + \frac - \frac.
Aryabhata Aryabhata ( ISO: ) or Aryabhata I (476–550 CE) was the first of the major mathematician-astronomers from the classical age of Indian mathematics and Indian astronomy. His works include the '' Āryabhaṭīya'' (which mentions that in 3600 ' ...
, in the '' Aryabhatiya'' (section 2.4), has given a method for finding the square root of numbers having many digits. It was known to the ancient Greeks that square roots of
positive integers In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positiv ...
that are not perfect squares are always
irrational number In mathematics, the irrational numbers are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, ...
s: numbers not expressible as a
ratio In mathematics, a ratio () shows how many times one number contains another. For example, if there are eight oranges and six lemons in a bowl of fruit, then the ratio of oranges to lemons is eight to six (that is, 8:6, which is equivalent to the ...
of two integers (that is, they cannot be written exactly as \frac, where and are integers). This is the theorem ''Euclid X, 9'', almost certainly due to Theaetetus dating back to . The discovery of irrational numbers, including the particular case of the
square root of 2 The square root of 2 (approximately 1.4142) is the positive real number that, when multiplied by itself or squared, equals the number 2. It may be written as \sqrt or 2^. It is an algebraic number, and therefore not a transcendental number. Te ...
, is widely associated with the Pythagorean school. Although some accounts attribute the discovery to Hippasus, the specific contributor remains uncertain due to the scarcity of primary sources and the secretive nature of the brotherhood. It is exactly the length of the
diagonal In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word ''diagonal'' derives from the ancient Greek � ...
of a square with side length 1. In the Chinese mathematical work '' Writings on Reckoning'', written between 202 BC and 186 BC during the early
Han dynasty The Han dynasty was an Dynasties of China, imperial dynasty of China (202 BC9 AD, 25–220 AD) established by Liu Bang and ruled by the House of Liu. The dynasty was preceded by the short-lived Qin dynasty (221–206 BC ...
, the square root is approximated by using an "excess and deficiency" method, which says to "...combine the excess and deficiency as the divisor; (taking) the deficiency numerator multiplied by the excess denominator and the excess numerator times the deficiency denominator, combine them as the dividend." A symbol for square roots, written as an elaborate R, was invented by Regiomontanus (1436–1476). An R was also used for radix to indicate square roots in Gerolamo Cardano's '' Ars Magna''. According to historian of mathematics D.E. Smith, Aryabhata's method for finding the square root was first introduced in Europe by Cataneo—in 1546. According to Jeffrey A. Oaks, Arabs used the letter '' jīm/ĝīm'' (), the first letter of the word "" (variously transliterated as ''jaḏr'', ''jiḏr'', ''ǧaḏr'' or ''ǧiḏr'', "root"), placed in its initial form () over a number to indicate its square root. The letter ''jīm'' resembles the present square root shape. Its usage goes as far as the end of the twelfth century in the works of the Moroccan mathematician Ibn al-Yasamin. The symbol "√" for the square root was first used in print in 1525, in Christoph Rudolff's ''Coss''.


Properties and uses

The principal square root function f(x) = \sqrt (usually just referred to as the "square root function") is a function that maps the
set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...
of nonnegative real numbers onto itself. In geometrical terms, the square root function maps the
area Area is the measure of a region's size on a surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while '' surface area'' refers to the area of an open surface or the boundary of a three-di ...
of a square to its side length. The square root of is rational if and only if is a
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example, The set of all ...
that can be represented as a ratio of two perfect squares. (See
square root of 2 The square root of 2 (approximately 1.4142) is the positive real number that, when multiplied by itself or squared, equals the number 2. It may be written as \sqrt or 2^. It is an algebraic number, and therefore not a transcendental number. Te ...
for proofs that this is an irrational number, and
quadratic irrational In mathematics, a quadratic irrational number (also known as a quadratic irrational or quadratic surd) is an irrational number that is the solution to some quadratic equation with rational coefficients which is irreducible over the rational numb ...
for a proof for all non-square natural numbers.) The square root function maps rational numbers into algebraic numbers, the latter being a superset of the rational numbers). For all real numbers , \sqrt = \left, x\ = \begin x, & \textx \ge 0 \\ -x, & \textx < 0. \end (see
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if x is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), ...
). For all nonnegative real numbers and ,\sqrt = \sqrt x \sqrt y and \sqrt x = x^. The square root function is continuous for all nonnegative , and differentiable for all positive . If denotes the square root function, whose derivative is given by:f'(x) = \frac. The Taylor series of \sqrt about converges for , and is given by \sqrt = \sum_^\infty \fracx^n = 1 + \fracx - \fracx^2 + \frac x^3 - \frac x^4 + \cdots, The square root of a nonnegative number is used in the definition of Euclidean norm (and
distance Distance is a numerical or occasionally qualitative measurement of how far apart objects, points, people, or ideas are. In physics or everyday usage, distance may refer to a physical length or an estimation based on other criteria (e.g. "two co ...
), as well as in generalizations such as
Hilbert space In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
s. It defines an important concept of
standard deviation In statistics, the standard deviation is a measure of the amount of variation of the values of a variable about its Expected value, mean. A low standard Deviation (statistics), deviation indicates that the values tend to be close to the mean ( ...
used in
probability theory Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expre ...
and
statistics Statistics (from German language, German: ', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a s ...
. It has a major use in the formula for solutions of a
quadratic equation In mathematics, a quadratic equation () is an equation that can be rearranged in standard form as ax^2 + bx + c = 0\,, where the variable (mathematics), variable represents an unknown number, and , , and represent known numbers, where . (If and ...
.
Quadratic field In algebraic number theory, a quadratic field is an algebraic number field of Degree of a field extension, degree two over \mathbf, the rational numbers. Every such quadratic field is some \mathbf(\sqrt) where d is a (uniquely defined) square-free ...
s and rings of quadratic integers, which are based on square roots, are important in algebra and have uses in geometry. Square roots frequently appear in mathematical formulas elsewhere, as well as in many physical laws.


Square roots of positive integers

A positive number has two square roots, one positive, and one negative, which are opposite to each other. When talking of ''the'' square root of a positive integer, it is usually the positive square root that is meant. The square roots of an integer are
algebraic integer In algebraic number theory, an algebraic integer is a complex number that is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients ...
s—more specifically quadratic integers. The square root of a positive integer is the product of the roots of its prime factors, because the square root of a product is the product of the square roots of the factors. Since \sqrt = p^k, only roots of those primes having an odd power in the factorization are necessary. More precisely, the square root of a prime factorization is\sqrt = p_1^ \dots p_n^ \sqrt.


As decimal expansions

The square roots of the perfect squares (e.g., 0, 1, 4, 9, 16) are
integers An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
. In all other cases, the square roots of positive integers are
irrational number In mathematics, the irrational numbers are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, ...
s, and hence have non-
repeating decimal A repeating decimal or recurring decimal is a decimal representation of a number whose digits are eventually periodic (that is, after some place, the same sequence of digits is repeated forever); if this sequence consists only of zeros (that i ...
s in their
decimal representation A decimal representation of a non-negative real number is its expression as a sequence of symbols consisting of decimal digits traditionally written with a single separator: r = b_k b_\cdots b_0.a_1a_2\cdots Here is the decimal separator, ...
s. Decimal approximations of the square roots of the first few natural numbers are given in the following table.


As expansions in other numeral systems

As with before, the square roots of the perfect squares (e.g., 0, 1, 4, 9, 16) are integers. In all other cases, the square roots of positive integers are
irrational number In mathematics, the irrational numbers are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, ...
s, and therefore have non-repeating digits in any standard
positional notation Positional notation, also known as place-value notation, positional numeral system, or simply place value, usually denotes the extension to any radix, base of the Hindu–Arabic numeral system (or decimal, decimal system). More generally, a posit ...
system. The square roots of small integers are used in both the SHA-1 and SHA-2 hash function designs to provide nothing up my sleeve numbers.


As periodic continued fractions

A result from the study of
irrational number In mathematics, the irrational numbers are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integers. When the ratio of lengths of two line segments is an irrational number, ...
s as simple continued fractions was obtained by
Joseph Louis Lagrange Joseph-Louis Lagrange (born Giuseppe Luigi Lagrangiaperiodic. That is, a certain pattern of partial denominators repeats indefinitely in the continued fraction. In a sense these square roots are the very simplest irrational numbers, because they can be represented with a simple repeating pattern of integers. The square bracket notation used above is a short form for a continued fraction. Written in the more suggestive algebraic form, the simple continued fraction for the square root of 11, ; 3, 6, 3, 6, ... looks like this: \sqrt = 3 + \cfrac where the two-digit pattern repeats over and over again in the partial denominators. Since , the above is also identical to the following generalized continued fractions: \sqrt = 3 + \cfrac = 3 + \cfrac.


Computation

Square roots of positive numbers are not in general
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example, The set of all ...
s, and so cannot be written as a terminating or recurring decimal expression. Therefore in general any attempt to compute a square root expressed in decimal form can only yield an approximation, though a sequence of increasingly accurate approximations can be obtained. Most pocket calculators have a square root key. Computer
spreadsheet A spreadsheet is a computer application for computation, organization, analysis and storage of data in tabular form. Spreadsheets were developed as computerized analogs of paper accounting worksheets. The program operates on data entered in c ...
s and other
software Software consists of computer programs that instruct the Execution (computing), execution of a computer. Software also includes design documents and specifications. The history of software is closely tied to the development of digital comput ...
are also frequently used to calculate square roots. Pocket calculators typically implement efficient routines, such as the
Newton's method In numerical analysis, the Newton–Raphson method, also known simply as Newton's method, named after Isaac Newton and Joseph Raphson, is a root-finding algorithm which produces successively better approximations to the roots (or zeroes) of a ...
(frequently with an initial guess of 1), to compute the square root of a positive real number. When computing square roots with logarithm tables or slide rules, one can exploit the identities\sqrt = e^ = 10^, where and are the natural and base-10 logarithms. By trial-and-error, one can square an estimate for \sqrt and raise or lower the estimate until it agrees to sufficient accuracy. For this technique it is prudent to use the identity(x + c)^2 = x^2 + 2xc + c^2, as it allows one to adjust the estimate by some amount and measure the square of the adjustment in terms of the original estimate and its square. The most common
iterative method In computational mathematics, an iterative method is a Algorithm, mathematical procedure that uses an initial value to generate a sequence of improving approximate solutions for a class of problems, in which the ''i''-th approximation (called an " ...
of square root calculation by hand is known as the " Babylonian method" or "Heron's method" after the first-century Greek philosopher Heron of Alexandria, who first described it. The method uses the same iterative scheme as the Newton–Raphson method yields when applied to the function , using the fact that its slope at any point is , but predates it by many centuries. The algorithm is to repeat a simple calculation that results in a number closer to the actual square root each time it is repeated with its result as the new input. The motivation is that if is an overestimate to the square root of a nonnegative real number then will be an underestimate and so the average of these two numbers is a better approximation than either of them. However, the
inequality of arithmetic and geometric means Inequality may refer to: * Inequality (mathematics), a relation between two quantities when they are different. * Economic inequality, difference in economic well-being between population groups ** Income inequality, an unequal distribution of in ...
shows this average is always an overestimate of the square root (as noted below), and so it can serve as a new overestimate with which to repeat the process, which converges as a consequence of the successive overestimates and underestimates being closer to each other after each iteration. To find : # Start with an arbitrary positive start value . The closer to the square root of , the fewer the iterations that will be needed to achieve the desired precision. # Replace by the average between and . # Repeat from step 2, using this average as the new value of . That is, if an arbitrary guess for \sqrt is , and , then each is an approximation of \sqrt which is better for large than for small . If is positive, the convergence is quadratic, which means that in approaching the limit, the number of correct digits roughly doubles in each next iteration. If , the convergence is only linear; however, \sqrt = 0 so in this case no iteration is needed. Using the identity\sqrt = 2^\sqrt, the computation of the square root of a positive number can be reduced to that of a number in the range . This simplifies finding a start value for the iterative method that is close to the square root, for which a
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
or piecewise-linear approximation can be used. The
time complexity In theoretical computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations ...
for computing a square root with digits of precision is equivalent to that of multiplying two -digit numbers. Another useful method for calculating the square root is the shifting nth root algorithm, applied for . The name of the square root function varies from
programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...
to programming language, with sqrt (often pronounced "squirt") being common, used in C and derived languages such as C++,
JavaScript JavaScript (), often abbreviated as JS, is a programming language and core technology of the World Wide Web, alongside HTML and CSS. Ninety-nine percent of websites use JavaScript on the client side for webpage behavior. Web browsers have ...
, PHP, and Python.


Square roots of negative and complex numbers

The square of any positive or negative number is positive, and the square of 0 is 0. Therefore, no negative number can have a real square root. However, it is possible to work with a more inclusive set of numbers, called the
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s, that does contain solutions to the square root of a negative number. This is done by introducing a new number, denoted by (sometimes by , especially in the context of
electricity Electricity is the set of physical phenomena associated with the presence and motion of matter possessing an electric charge. Electricity is related to magnetism, both being part of the phenomenon of electromagnetism, as described by Maxwel ...
where ''i'' traditionally represents electric current) and called the
imaginary unit The imaginary unit or unit imaginary number () is a mathematical constant that is a solution to the quadratic equation Although there is no real number with this property, can be used to extend the real numbers to what are called complex num ...
, which is ''defined'' such that . Using this notation, we can think of as the square root of −1, but we also have and so is also a square root of −1. By convention, the principal square root of −1 is , or more generally, if is any nonnegative number, then the principal square root of is \sqrt = i \sqrt x. The right side (as well as its negative) is indeed a square root of , since(i\sqrt x)^2 = i^2(\sqrt x)^2 = (-1)x = -x. For every non-zero complex number there exist precisely two numbers such that : the principal square root of (defined below), and its negative.


Principal square root of a complex number

To find a definition for the square root that allows us to consistently choose a single value, called the principal value, we start by observing that any complex number x + i y can be viewed as a point in the plane, (x, y), expressed using
Cartesian coordinates In geometry, a Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called ''coordinates'', which are the signed distances to the point from two fixed perpendicular o ...
. The same point may be reinterpreted using
polar coordinates In mathematics, the polar coordinate system specifies a given point (mathematics), point in a plane (mathematics), plane by using a distance and an angle as its two coordinate system, coordinates. These are *the point's distance from a reference ...
as the pair (r, \varphi), where r \geq 0 is the distance of the point from the origin, and \varphi is the angle that the line from the origin to the point makes with the positive real (x) axis. In complex analysis, the location of this point is conventionally written r e^. Ifz = r e^ \text -\pi < \varphi \leq \pi, then the of z is defined to be the following:\sqrt = \sqrt e^. The principal square root function is thus defined using the non-positive real axis as a branch cut. If z is a non-negative real number (which happens if and only if \varphi = 0) then the principal square root of z is \sqrt e^ = \sqrt; in other words, the principal square root of a non-negative real number is just the usual non-negative square root. It is important that -\pi < \varphi \leq \pi because if, for example, z = - 2 i (so \varphi = -\pi/2) then the principal square root is\sqrt = \sqrt = \sqrt e^ = \sqrt e^ = 1 - i but using \tilde := \varphi + 2 \pi = 3\pi/2 would instead produce the other square root \sqrt e^ = \sqrt e^ = -1 + i = - \sqrt. The principal square root function is holomorphic everywhere except on the set of non-positive real numbers (on strictly negative reals it is not even continuous). The above Taylor series for \sqrt remains valid for complex numbers x with , x, < 1. The above can also be expressed in terms of
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
s:\sqrt = \sqrt \left(\cos \frac + i \sin \frac \right).


Algebraic formula

When the number is expressed using its real and imaginary parts, the following formula can be used for the principal square root: \sqrt = \sqrt + i\sgn(y) \sqrt, where if and otherwise. In particular, the imaginary parts of the original number and the principal value of its square root have the same sign. The real part of the principal value of the square root is always nonnegative. For example, the principal square roots of are given by: \sqrt = \frac, \qquad \sqrt = \frac.


Notes

In the following, the complex and may be expressed as: * z = , z, e^ * w = , w, e^ where -\pi<\theta_z\le\pi and -\pi<\theta_w\le\pi. Because of the discontinuous nature of the square root function in the complex plane, the following laws are not true in general. * \sqrt = \sqrt \sqrt Counterexample for the principal square root: and This equality is valid only when -\pi<\theta_z+\theta_w\le\pi * \frac = \sqrt Counterexample for the principal square root: and This equality is valid only when -\pi<\theta_w-\theta_z\le\pi *\sqrt = \left( \sqrt z \right)^* Counterexample for the principal square root: ) This equality is valid only when \theta_z\ne\pi A similar problem appears with other complex functions with branch cuts, e.g., the complex logarithm and the relations or which are not true in general. Wrongly assuming one of these laws underlies several faulty "proofs", for instance the following one showing that : \begin -1 &= i \cdot i \\ &= \sqrt \cdot \sqrt \\ &= \sqrt \\ &= \sqrt \\ &= 1. \end The third equality cannot be justified (see invalid proof). It can be made to hold by changing the meaning of √ so that this no longer represents the principal square root (see above) but selects a branch for the square root that contains \sqrt\cdot\sqrt. The left-hand side becomes either\sqrt \cdot \sqrt=i \cdot i=-1 if the branch includes or\sqrt \cdot \sqrt=(-i) \cdot (-i)=-1 if the branch includes , while the right-hand side becomes\sqrt = \sqrt = -1, where the last equality, \sqrt = -1, is a consequence of the choice of branch in the redefinition of .


th roots and polynomial roots

The definition of a square root of x as a number y such that y^2 = x has been generalized in the following way. A cube root of x is a number y such that y^3 = x; it is denoted \sqrt . If is an integer greater than two, a -th root of x is a number y such that y^n = x; it is denoted \sqrt . Given any
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
, a
root In vascular plants, the roots are the plant organ, organs of a plant that are modified to provide anchorage for the plant and take in water and nutrients into the plant body, which allows plants to grow taller and faster. They are most often bel ...
of is a number such that . For example, the th roots of are the roots of the polynomial (in ) y^n - x.
Abel–Ruffini theorem In mathematics, the Abel–Ruffini theorem (also known as Abel's impossibility theorem) states that there is no solution in radicals to general polynomial equations of degree five or higher with arbitrary coefficients. Here, ''general'' means t ...
states that, in general, the roots of a polynomial of degree five or higher cannot be expressed in terms of th roots.


Square roots of matrices and operators

If ''A'' is a positive-definite matrix or operator, then there exists precisely one positive definite matrix or operator ''B'' with ; we then define . In general matrices may have multiple square roots or even an infinitude of them. For example, the
identity matrix In linear algebra, the identity matrix of size n is the n\times n square matrix with ones on the main diagonal and zeros elsewhere. It has unique properties, for example when the identity matrix represents a geometric transformation, the obje ...
has an infinity of square roots,Mitchell, Douglas W., "Using Pythagorean triples to generate square roots of I2", ''Mathematical Gazette'' 87, November 2003, 499–500. though only one of them is positive definite.


In integral domains, including fields

Each element of an
integral domain In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibilit ...
has no more than 2 square roots. The difference of two squares identity is proved using the commutativity of multiplication. If and are square roots of the same element, then . Because there are no zero divisors this implies or , where the latter means that two roots are
additive inverse In mathematics, the additive inverse of an element , denoted , is the element that when added to , yields the additive identity, 0 (zero). In the most familiar cases, this is the number 0, but it can also refer to a more generalized zero el ...
s of each other. In other words if an element a square root of an element exists, then the only square roots of are and . The only square root of 0 in an integral domain is 0 itself. In a field of characteristic 2, an element either has one square root or does not have any at all, because each element is its own additive inverse, so that . If the field is finite of characteristic 2 then every element has a unique square root. In a field of any other characteristic, any non-zero element either has two square roots, as explained above, or does not have any. Given an odd
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
, let for some positive integer . A non-zero element of the field with elements is a
quadratic residue In number theory, an integer ''q'' is a quadratic residue modulo operation, modulo ''n'' if it is Congruence relation, congruent to a Square number, perfect square modulo ''n''; that is, if there exists an integer ''x'' such that :x^2\equiv q \pm ...
if it has a square root in . Otherwise, it is a quadratic non-residue. There are quadratic residues and quadratic non-residues; zero is not counted in either class. The quadratic residues form a group under multiplication. The properties of quadratic residues are widely used in
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
.


In rings in general

Unlike in an integral domain, a square root in an arbitrary (unital) ring need not be unique up to sign. For example, in the ring \mathbb/8\mathbb of integers modulo 8 (which is commutative, but has zero divisors), the element 1 has four distinct square roots: ±1 and ±3. Another example is provided by the ring of
quaternion In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. The algebra of quater ...
s \mathbb, which has no zero divisors, but is not commutative. Here, the element −1 has infinitely many square roots, including , , and . In fact, the set of square roots of is exactly\ . A square root of 0 is either 0 or a zero divisor. Thus in rings where zero divisors do not exist, it is uniquely 0. However, rings with zero divisors may have multiple square roots of 0. For example, in \mathbb/n^2\mathbb, any multiple of is a square root of 0.


Geometric construction of the square root

The square root of a positive number is usually defined as the side length of a
square In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
with the
area Area is the measure of a region's size on a surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while '' surface area'' refers to the area of an open surface or the boundary of a three-di ...
equal to the given number. But the square shape is not necessary for it: if one of two similar planar Euclidean objects has the area ''a'' times greater than another, then the ratio of their linear sizes is \sqrt. A square root can be constructed with a compass and straightedge. In his Elements,
Euclid Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely domina ...
(
fl. ''Floruit'' ( ; usually abbreviated fl. or occasionally flor.; from Latin for 'flourished') denotes a date or period during which a person was known to have been alive or active. In English, the unabbreviated word may also be used as a noun indic ...
300 BC) gave the construction of the
geometric mean In mathematics, the geometric mean is a mean or average which indicates a central tendency of a finite collection of positive real numbers by using the product of their values (as opposed to the arithmetic mean which uses their sum). The geometri ...
of two quantities in two different places
Proposition II.14
an

Since the geometric mean of ''a'' and ''b'' is \sqrt, one can construct \sqrt simply by taking . The construction is also given by Descartes in his '' La Géométrie'', see figure 2 o
page 2
However, Descartes made no claim to originality and his audience would have been quite familiar with Euclid. Euclid's second proof in Book VI depends on the theory of similar triangles. Let AHB be a line segment of length with and . Construct the circle with AB as diameter and let C be one of the two intersections of the perpendicular chord at H with the circle and denote the length CH as ''h''. Then, using
Thales' theorem In geometry, Thales's theorem states that if , , and are distinct points on a circle where the line is a diameter, the angle is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as pa ...
and, as in the proof of Pythagoras' theorem by similar triangles, triangle AHC is similar to triangle CHB (as indeed both are to triangle ACB, though we don't need that, but it is the essence of the proof of Pythagoras' theorem) so that AH:CH is as HC:HB, i.e. , from which we conclude by cross-multiplication that , and finally that h = \sqrt. When marking the midpoint O of the line segment AB and drawing the radius OC of length , then clearly OC > CH, i.e. \frac \ge \sqrt (with equality if and only if ), which is the arithmetic–geometric mean inequality for two variables and, as noted above, is the basis of the
Ancient Greek Ancient Greek (, ; ) includes the forms of the Greek language used in ancient Greece and the classical antiquity, ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Greek ...
understanding of "Heron's method". Another method of geometric construction uses right triangles and induction: \sqrt can be constructed, and once \sqrt has been constructed, the right triangle with legs 1 and \sqrt has a hypotenuse of \sqrt. Constructing successive square roots in this manner yields the
Spiral of Theodorus In geometry, the spiral of Theodorus (also called the square root spiral, Pythagorean spiral, or Pythagoras's snail) is a spiral composed of right triangles, placed edge-to-edge. It was named after Theodorus of Cyrene. Construction The spiral ...
depicted above.


See also

*
Apotome (mathematics) In the historical study of mathematics, an apotome is a line segment formed from a longer line segment by breaking it into two parts, one of which is commensurable only in power to the whole; the other part is the apotome. In this definition, two ...
* Cube root * Functional square root * Integer square root * Nested radical *
Nth root In mathematics, an th root of a number is a number which, when raised to the power of , yields : r^n = \underbrace_ = x. The positive integer is called the ''index'' or ''degree'', and the number of which the root is taken is the ''ra ...
*
Root of unity In mathematics, a root of unity is any complex number that yields 1 when exponentiation, raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory ...
* Solving quadratic equations with continued fractions * Square-root sum problem * *


Notes


References

* * * * * .


External links


Algorithms, implementations, and more
aul Hsieh's square roots webpage


AMS Featured Column, Galileo's Arithmetic by Tony Philips
ncludes a section on how Galileo found square roots {{DEFAULTSORT:Square Root Elementary special functions Elementary mathematics Unary operations